From 084db726e28a9a21b356f30afc4d46d2a9bc740b Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Sun, 17 Apr 2016 08:18:55 +0200
Subject: [PATCH] Doc dropdown menu: name "Cargo.toml" explicitly

---
 src/doc/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc/header.html b/src/doc/header.html
index 3fad7d2bd..d42cdba7b 100644
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -32,7 +32,7 @@
                 <li><a href='guide.html'>Guide</a></li>
                 <li><a href='crates-io.html'>Using crates.io</a></li>
                 <li><a href='faq.html'>FAQ</a></li>
-                <li><a href='manifest.html'>Manifest Format</a></li>
+                <li><a href='manifest.html'>Cargo.toml Format</a></li>
                 <li><a href='build-script.html'>Build Scripts</a></li>
                 <li><a href='config.html'>Configuration</a></li>
                 <li><a href='pkgid-spec.html'>Package ID specs</a></li>
-- 
2.30.2